Deep State Inference: Toward Behavioral Model Inference of Black-Box Software Systems

نویسندگان

چکیده

Many software engineering tasks, such as testing, debugging, and anomaly detection can benefit from the ability to infer a behavioral model of software. Most existing inference approaches assume access code collect execution sequences. In this paper, we investigate black-box scenario, where system under analysis cannot be instrumented in fashion. This scenario is particularly common when it comes control logs, which often take form continuous signals. situation, an trace amounts multivariate time-series input output signals, different states correspond “phases” time-series. From perspective, challenge detect these phase changes place. Unfortunately, most solutions are either univariate, make assumptions about data distribution, or have limited learning power. paper propose hybrid deep neural network that accepts time series applies set convolutional recurrent layers learn non-linear correlations between signals patterns over time. We show how approach used accurately state changes, inferred models successfully applied transfer-learning scenarios, process traces products with similar characteristics. Our experimental results on two UAV autopilot case studies (one industrial one open-source) indicate our highly accurate (over 90% F1 score for classification) significantly improves baselines (by up 102% change point detection). Using transfer also maximum achievable scores open-source study achieved by reusing trained only fine tuning them using low 5 labeled samples, reduces manual labeling effort 98%.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Black Box Variational Inference

Variational inference has become a widely used method to approximate posteriors in complex latent variables models. However, deriving a variational inference algorithm generally requires significant model-specific analysis. These efforts can hinder and deter us from quickly developing and exploring a variety of models for a problem at hand. In this paper, we present a “black box” variational in...

متن کامل

Overdispersed Black-Box Variational Inference

We introduce overdispersed black-box variational inference, a method to reduce the variance of the Monte Carlo estimator of the gradient in black-box variational inference. Instead of taking samples from the variational distribution, we use importance sampling to take samples from an overdispersed distribution in the same exponential family as the variational approximation. Our approach is gene...

متن کامل

Perturbative Black Box Variational Inference

Black box variational inference (BBVI) with reparameterization gradients triggered the exploration of divergence measures other than the Kullback-Leibler (KL) divergence, such as alpha divergences. In this paper, we view BBVI with generalized divergences as a form of estimating the marginal likelihood via biased importance sampling. The choice of divergence determines a bias-variance trade-off ...

متن کامل

Black Box Variational Inference for State Space Models

Latent variable time-series models are among the most heavily used tools from machine learning and applied statistics. These models have the advantage of learning latent structure both from noisy observations and from the temporal ordering in the data, where it is assumed that meaningful correlation structure exists across time. A few highly-structured models, such as the linear dynamical syste...

متن کامل

Lock Inference for Systems Software

We have developed task scheduler logic (TSL) to automate reasoning about scheduling and concurrency in systems software. TSL can detect race conditions and other errors as well as supporting lock inference: the derivation of an appropriate lock implementation for each critical section in a system. Lock inference solves a number of problems in creating flexible, reliable, and efficient systems s...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: IEEE Transactions on Software Engineering

سال: 2022

ISSN: ['0098-5589', '1939-3520', '2326-3881']

DOI: https://doi.org/10.1109/tse.2021.3128820